A Simpler Fubini Proof
نویسندگان
چکیده
منابع مشابه
A Simpler Proof Theory for Nominal Logic
Nominal logic is a variant of first-order logic which provides support for reasoning about bound names in abstract syntax. A key feature of nominal logic is the new-quantifier, which quantifies over fresh names (names not appearing in any values considered so far). Previous attempts have been made to develop convenient rules for reasoning with the new-quantifier, but we argue that none of these...
متن کاملA Simpler proof of Jensen's Coding Theorem
[82] provides a proof of Jensen's remarkable Coding Theorem , which demonstrates that the universe can be included in L[R] for some real R, via class forcing. The purpose of this article is to present a simpler proof of Jensen's theorem, obtained by implementing some changes first developed for the theory of strong coding (Friedman [87]). The basic idea is to first choose A ⊆ ORD so that V = L[...
متن کاملSimpler proof for nonlinearity of majority function
Given a Boolean function f , the (Hamming) weight wt(f) and the nonlinearity N(f) are well known to be important in designing functions that are useful in cryptography. The nonlinearity is expensive to compute, in general, so any formulas giving the nonlinearity for particular functions f are significant. The well known majority function has been extensively studied in a cryptographic context f...
متن کاملA simpler proof for O(congestion + dilation) packet routing
In the store-and-forward routing problem, packets have to be routed along given paths such that the arrival time of the latest packet is minimized. A groundbreaking result of Leighton, Maggs and Rao says that this can always be done in time O(congestion+dilation), where the congestion is the maximum number of paths using an edge and the dilation is the maximum length of a path. However, the ana...
متن کاملHarsanyi’s Utilitarian Theorem: A Simpler Proof and Some Ethical Connotations
Harsanyi’s utilitarian theorem states that the social welfare function is the weighted sum of individuals’ utility functions if: (i) society maximizes expected social welfare; (ii) individuals maximize expected utility; (iii) society is indifferent between two probability distributions over social states whenever all individuals are. After giving a simpler proof, an alternative axiomatic founda...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 2006
ISSN: 0035-7596
DOI: 10.1216/rmjm/1181069458